The present paper designs and defines in principle a parallel inference machine based on Horn clause logic, whose structure is composed of processes and process networks and whose computation is performed by process unifications or process communications. 本文从原理上设计和定义了一个基于Horn子句逻辑的并行推理机,其结构由进程和进程网络组成,其计算方式为进程合一,也就是进程通讯。
Ontology is a conceptual description of the world, Ontology will be used for ambiguity resolution and inference and Semantic Lexicon will be used for analyzing the clause's functional component. Ontology是关于世界的概念化描述,用于小句分析中的消歧和推理;语义词典包含了汉语中词级的语法和语义知识,用于小句分析中的功能成分分析。